first-order modal logic

英 [fɜːst ˈɔːdə(r) ˈməʊdl ˈlɒdʒɪk]

美 [fɜːrst ˈɔːrdər ˈmoʊdl ˈlɑːdʒɪk]

网络  一阶模态逻辑

计算机

双语例句

• The logical properties of individual variables and individual constants are different, the formulae combining with predications and quantifiers are different whether seen from the standpoint of first-order or modal logic.
  个体变元与个体常元的逻辑性质不同，它们与谓词、量词组合的公式在一阶逻辑与模态逻辑中的表现也是不同的。
• Three temporal logics i.e. first-order predicate calculus, modal logic and reified logic are discussed.
  讨论了三种时间逻辑方法：一阶谓词演算，模态逻辑及具体化逻辑。
• The elementary first-order temporal logic is a development of modal logic and ordinary temporal logic.
  基本的一阶时态逻辑有模态逻辑和时态逻辑的一个发展。